On Terminological Default Reasoning about Spatial Information: Extended Abstract
نویسندگان
چکیده
We extend the theory about terminological default reasoning using a logical base language that can be used to represent spatioterminological phenomena. Based on the description logic ALCRP(S2) the paper discusses how to implement an algorithm for computing extensions of a world description consisting of ALCRP(S2) assertions and a set of closed ALCRP(S2) Reiter-style default rules.
منابع مشابه
Terminological Default Reasoning about Spatial Information: A First Step
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic language called ALCRP(S2), which is briefly introduced, we discuss algorithms for computing so-called extensions (“possible worlds”) of a world description and a set of defaults. We conclude with an application of the the...
متن کاملA Terminological Logic with Defaults: A Definition and an Application
In this paper we present a terminological language which includes defaults, and a deenition of default subsumption based on the notion of skeptical inheritance in default reasoning. Except for the inclusion of defaults the language is limited when compared to most terminological logics. However defaults are a necessary construct in many applications and we suggest that the language presented he...
متن کاملCombining Spatial and Terminological Reasoning
The paper presents a method for terminological reasoning about spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geographic information systems and parsing of visual languages. In contrast to existing work, which mainly focusseson reasoning about qualitative spatial relations, we integrate quantitative information with conceptual or ...
متن کاملSpatioterminological Reasoning: Subsumption Based on Geometrical Inferences
This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly focuses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning. This theory is motivated as basis for knowledge representation and query proc...
متن کاملA Terminological Default Logic
Terminological Logics are knowledge representation formalisms of considerable applicative interest, as they are speci cally oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. Although the eld of terminological logics has lately been an active area of investigation, few researchers (if any) have addressed the problem of ...
متن کامل